$y$ is $f$$\ast$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$L$:$T$ List. $y$=$f$$\ast$($x$) via $L$